This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages ...
Lire la suiteThisvolumecontainsaselectionofpapersfromthe5thInternationalConference on the Practice and Theory of Automated Timetabling ...
Lire la suiteThis volume contains a selection of the papers presented at the Sixth Int- national Conference on the Practice and Theory ...
Lire la suiteThis book constitutes the refereed proceedings of the 12th International Conference on Principles and Practice of Constraint ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint ...
Lire la suiteConstitutes the proceedings of the 11th International Conference on Principles and Practice of Constraint Programming, CP ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint ...
Lire la suiteThis book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop ...
Lire la suiteConstitutes the extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint ...
Lire la suitePrivacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?ict between the increasing ...
Lire la suiteThis book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
Lire la suiteAll current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite